Control sets on linear grammars

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Extending Linear Indexed Grammars

This paper presents a possibility to extend the formalism of linear indexed grammars. The extension is based on the use of tuples of pushdowns instead of one pushdown to store indices during a derivation. If a restriction on the accessibility of the pushdowns is used, it can be shown that the resulting formalisms give rise to a hierarchy of languages that is equivalent with a hierarchy defined ...

متن کامل

Linear Parsing Expression Grammars

PEGs were formalized by Ford in 2004, and have several pragmatic operators (such as ordered choice and unlimited lookahead) for better expressing modern programming language syntax. Since these operators are not explicitly defined in the classic formal language theory, it is significant and still challenging to argue PEGs’ expressiveness in the context of formal language theory. Since PEGs are ...

متن کامل

On linear sets on a projective line

Linear sets generalise the concept of subgeometries in a projective space. They have many applications in finite geometry. In this paper we address two problems for linear sets: the equivalence problem and the intersection problem. We consider linear sets as quotient geometries and determine the exact conditions for two linear sets to be equivalent. This is then used to determine in which cases...

متن کامل

Formal grammars Lectures ??–??. Linear grammars and trellis automata

The linear case of context-free, conjunctive and Boolean grammars. Trellis automata. Examples. Equivalence of grammars and automata. 1 Linear Boolean grammars Definition 1. A Boolean grammar G = (Σ, N, P, S) is said to be linear if every rule A→ α1& . . .&αm&¬β1& . . .&¬βn, has αi, βj ∈ Σ∗ ∪ (Σ ∪N)∗. If a linear Boolean grammar is conjunctive (context-free), it is called a linear conjunctive (l...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Information and Control

سال: 1974

ISSN: 0019-9958

DOI: 10.1016/s0019-9958(74)90864-x